A Declarative Language Bias for Levelwise Search of First-Order Regularities
نویسنده
چکیده
The paper presents a hypothesis language declaration formalism and a corresponding refinement operator that successfully combines the levelwise search principle with a first-order hypothesis language and thus provides an improvement to the so-called optimal refinement operators that are commonly used in descriptive ILP. The refinement operator is based on the candidate generation procedure of the Apriori algorithm. It extends the Apriori candidate generation in that it allows to define constraints on the combinations of literals in the hypotheses. Experimental results show the usefulness of the approach.
منابع مشابه
Applications of a Logical Discovery Engine
The clausal discovery engine CLAUDIEN is presented. CLAUDIEN discovers regularities in data and is s representative :of the inductive logic programming paradigm. As such, it represent s data and regu!aritles by means of first order clausal theories. Because the search space of c~ausal theories is larger-than that of attribute value representation, CLAUDIEN alSO accepts as input a declarative sp...
متن کاملParsing A Flexible Word Order Language
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their application to nonsiblings. This allows a concise, modular and declarative statement of intricate word order regularities.
متن کاملPsychometric Properties of the Persian Word Pairs Task for Declarative Memory Assessment
Objective: According to the declarative/procedural model, the semantic aspect of language depends on the brain structures responsible for declarative memory. The word pairs task is a common tool for evaluating declarative memory. The current study aimed to design a valid and reliable task for evaluating declarative memory in Persian children at learning and retention stages and to investigate i...
متن کاملThe persistence of the attentional bias to regularities in a changing environment.
The environment often is stable, but some aspects may change over time. The challenge for the visual system is to discover and flexibly adapt to the changes. We examined how attention is shifted in the presence of changes in the underlying structure of the environment. In six experiments, observers viewed four simultaneous streams of objects while performing a visual search task. In the first h...
متن کاملTowards a Mathematical Foundation For Design Patterns
We identify a compact and sufficient set of building blocks which constitute most design patterns of the GoF catalog: uniform sets of classes or functions, function clans, class hierarchies, and regularities (morphisms) thereof. The abstractions observed are manifested within a model in symbolic logic and defined in LePUS, a declarative, higher order language. LePUS formulae concisely prescribe...
متن کامل